M4CLOUD - GENERIC APPLICATION LEVEL MONITORING FOR RESOURCE-SHARED CLOUD ENVIRONMENTS Toni Mastelic, Vincent C. Emeakaroha, Michael Maurer and Ivona Brandic Information Systems Institute, Vienna University of Technology,

Source URL: www.infosys.tuwien.ac.at

Negation Detection in Automated Medical Applications A Survey Stefan Gindl Vienna University of Technology

Source URL: publik.tuwien.ac.at

Generic Approach for Security Error Detection Based on Learned System Behavior Models for Automated Security Tests Christian Schanes, Andreas H¨ubler, Florian Fankhauser, Thomas Grechenig Vienna University of Technology

Source URL: www.spacios.eu

Within the DFG-funded project Time-Space Multiscale Separation of Ocean Tide Generated Magnetic Signals, we offer a PhD Position (3 years) at the Computational Science Center, University of Vienna The project focuses on

Source URL: www.csc.univie.ac.at

Energy-Aware Cloud Management through Progressive SLA Specification Dražen Luˇcanin1 , Foued Jrad2 , Ivona Brandic1 , and Achim Streit2 1 Vienna University of Technology, Vienna, Austria

Source URL: www.infosys.tuwien.ac.at

Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology

Source URL: mally.stanford.edu

• Logic
• Philosophy
• Mathematics
• Category theory
• Model theory
• Functions and mappings
• Universal property
• Saul Kripke
• First-order logic
• Sheaf
• Function
• Substitution

TimeCap: Methodology for comparing IT infrastructures based on time and capacity metrics Toni Mastelic, Ivona Brandic Institute of Information Systems, Vienna University of Technology, Vienna, Austria {toni, ivona}@infos

Source URL: www.infosys.tuwien.ac.at

A New Parametric Design Tool for Robot Milling Sigrid Brell-Cokcan, II Architects int, Vienna University of Technology Johannes Braumann, Vienna University of Technology Abstract This paper proposes the use of parametri

Source URL: www.robotsinarchitecture.org

Pattern Recognition and Image Processing Group Institute for Computer Graphics and Algorithmis Vienna University of Technology FavoritenstrPhone: + Fax: +

Source URL: www.prip.tuwien.ac.at